canonic system

典型系统, 正规系统